|
|
Modelling Foundations and Applications
by France, Robert B.
Publication:
. XIV, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2011: Formal Methods
by Butler, Michael.
Publication:
. XIV, 450p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Dingel, Juergen.
Publication:
. XII, 416p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXII, 381 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXI, 473 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Berry, Daniel.
Publication:
. XII, 209 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Davies, Jim.
Publication:
. VIII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Giannakopoulou, Dimitra.
Publication:
. XIII, 464p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communication Technologies for Vehicles
by Strang, Thomas.
Publication:
. XIII, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Bravetti, Mario.
Publication:
. VIII, 191p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming II
by Noble, James.
Publication:
. IX, 125p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Passive and Active Measurement
by Spring, Neil.
Publication:
. XI, 246 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Verification of Object-Oriented Software
by Beckert, Bernhard.
Publication:
. X, 199p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science X
by Gavrilova, Marina L.
Publication:
. XVIII, 366p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing
by Maglio, Paul P.
Publication:
. XX, 737p. 285 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Current Trends in Web Engineering
by Daniel, Florian.
Publication:
. XXVII, 595p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Middleware 2010
by Gupta, Indranil.
Publication:
. XIII, 398p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems, OTM 2010
by Meersman, Robert.
Publication:
. XXII, 466p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2010
by Meersman, Robert.
Publication:
. XXII, 703p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Autonomic Communication Environments
by Brennan, Rob.
Publication:
. X, 125p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|